One-to-One Functions

A function is one-to-one if every input has a unique output. Should pass the horizontal line test.